In this sense one speaks of the improper or potential infinite.
2.
Lakoff and N��ez conclude that while the potential infinite is not metaphorical, the actual infinite is.
3.
Becker argued that Hilbert could not stick with finitism, but had to assume the potential infinite.
4.
Becker debated with David Hilbert and Paul Bernays over the role of the potential infinite in Hilbert's formalist metamathematics.
5.
Clearly enough, Hilbert and Bernays do implicitly accept the potential infinite, but they claim that each induction in their proofs is finite.
6.
It would also be possible for many compilers to detect that the " turn " variable is never modified by the inner loop, and perform a similar transformation, resulting in a potential infinite loop.
7.
The first, used in calculus, he called the variable finite, or potential infinite, represented by the \ infty sign ( known as the lemniscate ), and the actual infinite, which Cantor called the " true infinite . " His notion of transfinite arithmetic became the standard system for working with infinity within set theory.